Merge pull request #1437 from jeenu-arm/ras-remaining
authorDimitris Papastamos <[email protected]>
Fri, 22 Jun 2018 08:36:59 +0000 (09:36 +0100)
committerGitHub <[email protected]>
Fri, 22 Jun 2018 08:36:59 +0000 (09:36 +0100)
SDEI dispatch changes to enable RAS use cases


Trivial merge